package PACKAGE_NAME;public class RefinedAbstractionB {
}
